| 1. | On standard deontic logic and counter - duties paradox 标准道义逻辑和反义务悖论 |
| 2. | Elements of the logic of willing : mally ' s deontic logic 马利的道义逻辑思想 |
| 3. | On the reduction of deontic logic and the interrelated problems 论道义逻辑系统的归约及其相关问题 |
| 4. | Advancement in the studies of foreign deontic logics in the 20 century 20世纪国外道义逻辑研究进展 |
| 5. | Action assertion event and actor some basic conceptions in dynamic deontic logic 动态道义逻辑的几个基本概念 |
| 6. | On the paradox of deontic logic 道义悖论研究 |
| 7. | On dyanic deontic logic 二元道义逻辑研究 |
| 8. | On the studies of formalization of de - feasible deontic logic in the west and its existing problem 论西方可废止性道义逻辑的形式化研究及其存在的问题 |
| 9. | Upon the implementation of tx - defendingl . o , the author puts forward an idea of expressing network security policy in a formal logic language . the language discussed here is role - based standard deontic logic . this language can not only detect policy consistency , but also resolve policy conflicts 最后,本文对用于主动防火墙各安全成员之间交互信息的安全策略进行了讨论,在理论上提出了一种可以自动检测策略一致性以及自动解决策略冲突的网络安全策略语言一基于角色的sdl 。 |